Some Higher Coalgebra
نویسنده
چکیده
Using the derived algebraic formalism of Lurie we describe a framework for coalgebraic structures which are neither necessarily commutative nor cocommutative. We show that Thom spectra and homotopical descent data are both natural examples of this kind of structure.
منابع مشابه
Cotensor Coalgebras in Monoidal Categories
We introduce the concept of cotensor coalgebra for a given bicomodule over a coalgebra in an abelian monoidal category. Under some further conditions we show that such a cotensor coalgebra exists and satisfies a meaningful universal property. We prove that this coalgebra is formally smooth whenever the comodule is relative injective and the coalgebra itself is formally smooth.
متن کاملFixpoint Logics and Automata: A Coalgebraic Approach
A long and fertile tradition in theoretical computer science, going back to the work of Büchi and Rabin, links the field of (fixpoint) logic to that of automata theory. In particular, automata operating on potentially infinite structures such as streams, trees, graphs or transition systems, provide an invaluable tool for the specification and verification of the ongoing behavior of systems. An ...
متن کاملModule Structure on Lie Powers and Natural Coalgebra-split Sub Hopf Algebras of Tensor Algebras
In this article, we investigate the functors from modules to modules that occur as the summands of tensor powers and the functors from modules to Hopf algebras that occur as natural coalgebra summands of tensor algebras. The main results provide some explicit natural coalgebra summands of tensor algebras. As a consequence, we obtain some decompositions of Lie powers over the general linear groups.
متن کاملAutomata and Coinduction (an Exercise in Coalgebra) Automata and Coinduction (an Exercise in Coalgebra)
The classical theory of deterministic automata is presented in terms of the notions of homomor-phism and bisimulation, which are the cornerstones of the theory of (universal) coalgebra. This leads to a transparent and uniform presentation of automata theory and yields some new insights, amongst which coinduction proof methods for language equality and language inclusion. At the same time, the p...
متن کاملCofree compositions of coalgebras
We develop the notion of the composition of two coalgebras, which arises naturally in higher category theory and the theory of species. We prove that the composition of two cofree coalgebras is cofree and give conditions which imply that the composition is a one-sided Hopf algebra. These conditions hold when one coalgebra is a graded Hopf operad D and the other is a connected graded coalgebra w...
متن کامل